proof n. 1.證明;證據(jù);【法律】證件;【法律】(口頭或書(shū)面)證詞,證言。 2.檢驗(yàn),考驗(yàn);驗(yàn)算;檢定的品質(zhì)[強(qiáng)度等]。 3.試管。 4.【印刷】校樣,印樣。 5.(酒精的)標(biāo)準(zhǔn)強(qiáng)度。 6.(甲胄等的)耐力,堅(jiān)牢強(qiáng)度,不貫穿性。 7.【攝影】樣片;樣張。 8.[Scot.] 審問(wèn)。 9.【數(shù)學(xué)】證,證明,證法。 The proof of the pudding is in the eating. 布丁好壞一吃即知;空談不如實(shí)驗(yàn)。 Here is proof positive. 有確實(shí)證據(jù)。 a foul proof 錯(cuò)字很多的校樣。 a foundry proof (壓型前的)清樣。 an artist's [engraver's] proof 版面印樣。 stand a severe proof 經(jīng)受?chē)?yán)格的考驗(yàn)。 afford proof of 提供證據(jù)。 armour of proof 戳不通的堅(jiān)牢的鎧甲。 below proof 不合格。 bring [put] to the proof 試,試驗(yàn)。 have proof of shot 能防彈,能避彈。 in proof of 作…的證據(jù)。 proof positive of his intention 他的企圖的確證。 read the proof 校對(duì)。 adj. 1.試驗(yàn)過(guò)的,有保證的;(酒)合標(biāo)準(zhǔn)的,規(guī)定的。 2.校樣的。 3.(子彈等)不入的,耐…的,防…的。 a proof coin 標(biāo)準(zhǔn)貨幣,制錢(qián)。 a proof sample 樣品。 proof against the severest weather 經(jīng)得起任何酷烈天氣的。 proof against the pricks of all temptations 不為任何誘惑所動(dòng)的。 vt. 使經(jīng)得住,使(布等)耐久[不漏水(等)]。 proofed cloth 防水布。 adj. -less 無(wú)證據(jù)的。
tree n. 特里〔姓氏〕。 n. 1.樹(shù)〔主要指喬木,也可指較大的灌木〕。 ★玫瑰可以稱為 bush, 也可以稱為 tree. 2.木料,木材;木構(gòu)件;〔古語(yǔ)〕絞首臺(tái);〔the tree〕(釘死耶穌的)十字架;鞋楦。 3.樹(shù)形(物),世系圖,家系 (=family tree);【數(shù)學(xué)】樹(shù)(形);【化學(xué)】樹(shù)狀晶體。 a banana tree 香蕉樹(shù)。 an axle-tree 心棒,軸料。 a boot-tree 靴楦[型]。 a saddle-tree 鞍架。 at the top of the tree 在最高地位。 tree of Buddha 菩提樹(shù)。 tree of heaven 臭椿。 tree of knowledge (of good and evil) 【圣經(jīng)】知道善惡的樹(shù),智慧之樹(shù)。 tree of life 生命之樹(shù),生命力的源泉【植物;植物學(xué)】金鐘柏。 up a tree 〔口語(yǔ)〕進(jìn)退兩難,不知所措。 vt. 趕(獵獸等)上樹(shù)躲避;〔口語(yǔ)〕使處于困境;窮追;把鞋型插入(鞋內(nèi))。
Many people research how to find value of y from resolution proof trees 有許多人研究從歸結(jié)證明樹(shù)確定y的值的方法。
It extracts process information from the proof tree by analyzing every node of resolution proof tree to extract procedure . and the partial correctness of the extracted procedure is proved 這一方法的特點(diǎn)是,抽取算法的時(shí)間、空間復(fù)雜度都是線性的,并且抽取算法本身十分簡(jiǎn)單,易于實(shí)現(xiàn)。